Limit Models in Classes with Amalgamation
نویسنده
چکیده
In abstract elementary classes limit models are sometimes the appropriate substitute for saturated models. For Galois-stable abstract elementary classes which satisfy the amalgamation property, we prove under the assumption that there is a mildly behaved dependence relation, that for any model M , any two limit models over M of the same cardinality are isomorphic. This is useful in dealing with Shelah’s categoricity conjecture.
منابع مشابه
Categoricity in Abstract Elementary Classes with No Maximal Models
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...
متن کاملCategoricity in abstract elementary classes with no maximal models
The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assu...
متن کاملA Downward Categoricity Transfer for Tame Abstract Elementary Classes
We prove a downward transfer from categoricity in a successor in tame abstract elementary classes (AECs). This complements the upward transfer of Grossberg and VanDieren and improves the Hanf number in Shelah’s downward transfer (provided the class is tame). Theorem 0.1. Let K be an AEC with amalgamation. If K is LS(K)-weakly tame and categorical in a successor λ ≥ i(2LS(K))+ , then K is catego...
متن کاملChains of saturated models in AECs
We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: Theorem 0.1. If K is a tame AEC with amalgamation satisfying a natural definition of superstability (which follows from categoricity in a high-enough cardinal), then for all high-enough λ: (1) The union of an increasing chain of λ-saturated models is λ-...
متن کاملUniqueness of limit models in classes with amalgamation
We prove: Theorem 0.1 (Main Theorem). Let K be an AEC and μ > LS(K). Suppose K satisfies the disjoint amalgamation property for models of cardinality μ. If K is μ-Galois-stable, does not have long splitting chains, and satisfies locality of splitting, then any two (μ, σl)-limits over M for (l ∈ {1, 2}) are isomorphic over M . This result extends results of Shelah from [Sh 394], [Sh 576], [Sh 60...
متن کامل